package flowlogic;

import java.util.HashSet;
import ast.Term;

public class ForallConstraint extends Constraint {
	
	private BoundVariable bv;
	private ResNode range;
	private Constraint body;

	public ForallConstraint(BoundVariable v, ResNode rng, Constraint cs)
	{
		bv = v;
		range = rng;
		body = cs;
	}
	
	public BoundVariable getBv() {
		return bv;
	}

	public ResNode getRange() {
		return range;
	}

	public Constraint getBody() {
		return body;
	}

	public String toString()
	{
		String res = "forall ";
		res += bv.getName() + " in " + range + " : " + body;
		return res;
	}
}
